Search
1 heading found for nb 97057888
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Grumberg, Orna.
Grumberg, Orna, 1952-.... גרימברג, ארנה, 1952- Grumberg, O. (Orna) Orna Grumberg Israeli computer scientist |
Personal | CAV'97 Computer aided verification : 9th international conference, CAV'97, Haifa, Israe ... Computer aided verification : 9th international conference, CAV'97, Haifa, Israe ... Abstract interpretation of reactive systems: abstractions preserving ACTL*, ECTL ... |